Abstract types have existential type